Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
531	Intended for submission to the Revival of Dynamic Languages Static Typing Where Possible, Dynamic Typing When Needed: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-05-07 17:01:04 Computer programming Data types Object-oriented programming Functional programming Polymorphism Type system Type safety Dynamic programming language Covariance and contravariance Software engineering Computing Type theory
532	A Brief Overview of Agda – A Functional Language with Dependent Types Ana Bove, Peter Dybjer, and Ulf Norell Add to Reading List Source URL: wiki.portal.chalmers.se Language: English - Date: 2010-06-22 17:03:15 Type theory Dependently typed programming Functional languages Data types Literate programming Agda ALF Dependent type Proof assistant Programming language theory Software engineering Computing
533	Fast Functional Lists, Hash-Lists, Deques and Variable Length Arrays Phil Bagwell Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2011-07-09 03:31:58 Lisp programming language Data types Functional languages Abstract data types Arrays VList Linked list Pointer List Computing Software engineering Computer programming
534	Townsville Airport Airport Environment Strategy Add to Reading List Source URL: www.townsvilleairport.com.au Language: English - Date: 2012-05-03 03:25:47 States and territories of Australia Environmental economics Earth Environmental protection Environmentalism Types and Programming Languages Townsville Airport Townsville Sustainability Environment Environmental social science North Queensland
535	The Scala Language Specification Version 2.8 Add to Reading List Source URL: www.scala-lang.org Language: English - Date: 2013-10-20 20:02:23 Type theory Data types Functional programming Functional languages Java platform Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
536	Design and Implementation of Kyoto Common Lisp Taiichi YUASA Department of Information and Computer Sciences Add to Reading List Source URL: www.softwarepreservation.net Language: English - Date: 2010-03-13 20:10:51 Lisp programming language Functional languages Data types Lisp Cons NIL Genera Variable Maclisp Computing Software engineering Computer programming
537	Advances in Programming Languages: Regions Allan Clark and Stephen Gilmore Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-02-22 12:05:31 C++ Memory management Data types Primitive types Procedural programming languages Pointer Dangling pointer Garbage collection Cyclone Software engineering Computing Computer programming
538	Type Inference for Record Concatenation and Subtyping Jens Palsberg Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:20:33 Data types Theoretical computer science Formal languages Computing Object-oriented programming Obliq Subtype polymorphism Type system Concatenation Mathematics Software engineering Type theory
539	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science
540	A Brief Overview of Agda – A Functional Language with Dependent Types Ana Bove, Peter Dybjer, and Ulf Norell Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-09-21 05:09:48 Type theory Dependently typed programming Functional languages Data types Literate programming Agda ALF Dependent type Proof assistant Programming language theory Software engineering Computing

UPDATE